Singleton Type - mrsekut-p

Singleton Type

シングルトン型

型と値に一対一対応がある型

型のinhabitantが1である

型を見れば、値を一意に特定できる

https://serokell.io/blog/haskell-type-level-witness

there is a one-to-one correspondence between values and types are called Singletons.

https://hyone.hatenablog.com/entry/2012/11/03/002422

https://stackoverflow.com/questions/16017294/singleton-types-in-haskell

https://konn-san.com/prog/2013-advent-calendar.html

https://hackage.haskell.org/package/singletons

https://blog.jle.im/entry/introduction-to-singletons-1.html

chrome-extension://oemmndcbldboiebfnladdacbdfmadadm/https://repository.brynmawr.edu/cgi/viewcontent.cgi?article=1009&context=compsci_pubs

https://serokell.io/blog/dimensions-haskell-singletons

https://zenn.dev/mod_poppo/books/haskell-type-level-programming/viewer/singletons

『Singleton, Union, and Intersection Types for Program Extraction』

https://www.sciencedirect.com/science/article/pii/S0890540184710169?via%3Dihub

singleton typeの起源？